
void interpret_sysf()
{
	uint32_t function = readInt32();
	((void (*)(void))interrupt_handlers[function])();
}
